
#ifndef __SYSTEM_TICK_H__
#define __SYSTEM_TICK_H__

#include <stdint.h>
// #include "FreeRTOSConfig.h"

/* configure systick */
void systick_config(void);
/* delay a time in milliseconds */
void delay_ms(uint32_t count);
/* delay a time in microsecond*/
void delay_us(uint32_t count);

#endif /* __SYSTEM_TICK_H__ */
